1

Modelling angelic and demonic nondeterminism with multirelations

C.E. Martin, S.A. Curtis, I. Rewitzky
Journal:
Science of Computer Programming
Year:
2007
Language:
english
File:
PDF, 333 KB
english, 2007
2

Predicate transformers as power operations

I. Rewitzky, C. Brink
Journal:
Formal Aspects of Computing
Year:
1995
Language:
english
File:
PDF, 851 KB
english, 1995
3

Algebras for Galois-style connections and their discrete duality

Ewa Orłowska, Ingrid Rewitzky
Journal:
Fuzzy Sets and Systems
Year:
2010
Language:
english
File:
PDF, 241 KB
english, 2010
4

Coalgebraic representations of distributive lattices with operators

M.M. Bonsangue, A. Kurz, I.M. Rewitzky
Journal:
Topology and its Applications
Year:
2007
Language:
english
File:
PDF, 204 KB
english, 2007
5

Towards reasoning about Hoare relations

Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky
Journal:
Annals of Mathematics and Artificial Intelligence
Year:
1994
Language:
english
File:
PDF, 1.58 MB
english, 1994
6

Unification of Four Versions of Program Semantics

Ingrid Rewitzky, Chris Brink
Journal:
Formal Aspects of Computing
Year:
1998
Language:
english
File:
PDF, 212 KB
english, 1998
7

Three Dual Ontologies

Chris Brink, Ingrid Rewitzky
Journal:
Journal of Philosophical Logic
Year:
2002
Language:
english
File:
PDF, 166 KB
english, 2002